1. .....................
المؤلف: Horstmann, Cay
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Automat )Formal language(,، Mathematical notations
رده :
QA
267
.
3
.
H67
2. .....................
المؤلف: Salomaa, Arto
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Formal language
رده :
QA
267
.
3
.
S24
3. Algebraic semantics
المؤلف: Guessarian, Ir،ne
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Formal language - Semantics
رده :
QA
76
.
L4
v
.
99
4. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
رده :
QA
267
.
5
.
S4
.
I47
1980
5. Communication and concurrency
المؤلف: / Robin, Miler
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Computer systems,Machine theory,Formal language
رده :
QA
267
.
M53
1989
6. Cryptography,automata and learning theory
المؤلف: / Gnanaraj Thomas
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: Computer network - Security measure,Cryptography,Formal language
رده :
TK5105
.
59
.
T46
2011
7. Elaements de thaeorie des automates.English
المؤلف: Jacques Sakarovitch ; translated by Reuben Thomas
المکتبة: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Machine theory,Automata theory,Automata math,Formal language,Automatentheorie., swd
رده :
QA
267
.
S22E4
2009
8. Elements of the theory of computation
المؤلف: LEWIS,HARRY R
المکتبة: (طهران)
موضوع: MACHINE THEORY , FORMAL LANGUAGE , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
L49
9. Finite-state methods and natural language processing
المؤلف: / Anssi Yli-Jyrea ... [et al.], (Eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Natural language processing (Computer science), Congresses,Formal methods (Computer science), Congresses,Grammar, Comparative and general, Morphology, Data processing, Congresses
رده :
QA76
.
9
.
N38F76
2010
10. Formal Specification Using Z
المؤلف: / David lightfood,Lightfoot
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Z (Computer Program language),Formal languages
رده :
QA
76
.
73
.
Z2L5
1991
11. Formal language and their relation to automata
المؤلف: Hopcroft , John E. 9391-
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Formal language,، Machine theory
رده :
QA
267
.
3
.
H6
12. Groups, Language,and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group...
المؤلف: / Robert H. Gilman
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Geometric group theory-- Congresses,Machine theory-- Congresses,Formal language-- Congresses
رده :
512
.
2
A528G
13. Introduction to formal language theory
المؤلف: Harrison, Michael A
المکتبة: (خراسان الجنوبیة)
موضوع: ، Formal language
رده :
QA
267
.
3
.
H37
14. Investigating Pedagogical Digital Game-Based English Language Learning Formally vs. Informally as Method, Tutor and Tool Among Iranian University Learner-Players
المؤلف: /فلاح وزیرآباد، آیلار
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Digital Game-Based Language Learning, Formal vs. Informal Learning, Kahoot, Phrasal Verb, Phrasal Nerds,بازی دیجیتال آموزش زبان انگلیسی‌رسمی و غیر رسمی کاهوت‌باهم آیی ها و فریزال نردز
15. Language Prototyping : An Algebraic specification Approach
المؤلف: Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Mathematical Linguistics,Formal language
رده :
QA
.
L3M3
267
16. Logic, language, information, and computation
المؤلف: \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
17. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
رده :
QA
267
.
5
.
S4
.
S89
1974
18. Mathematical foundations of programming
المؤلف: Beckman, Frank S.
المکتبة: (خراسان الجنوبیة)
موضوع: ، Logic, symbolic and mathematical,، Formal Language
رده :
QA
9
.
B36
19. Scientific Applications of Language Methods
المؤلف: \ edited by Carlos Martín-Vide.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal languages,Natural language processig (computer science),زبانهای صوری,پردازش زبان طبیعی,a03,a04,a03,a04
رده :
QA
267
.
3
.
S28
2011
E-Book
,
20. Scientific applications of language methods
المؤلف: edited by Carlos Martín-Vide.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages.,Natural language processing (Computer science)
رده :
QA267
.
3
.
M37
2011eb
